Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
751	Synthese:23–40 DOIs11229On Reichenbach’s argument for scientific realism Stathis Psillos Add to Reading List Source URL: users.uoa.gr Language: English - Date: 2011-06-03 01:48:02 Philosophy of science Philosophical movements Justification Bayesian statistics Reasoning Logical positivism Probabilistic logic Bayesian probability Inference Philosophy Science Logic
752	BRICS RS-05-4 Filinski & Rohde: Denotational Aspects of Untyped Normalization by Evaluation BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-04-13 07:44:53 Computer science Models of computation Applied mathematics Logic in computer science Normalisation by evaluation Denotational semantics De Bruijn index Symbol Administrative normal form Theoretical computer science Lambda calculus Programming language semantics
753	Automatic Construction of Inference-Supporting Knowledge Bases Peter Clark, Niranjan Balasubramanian, Sumithra Bhakthavatsalam, Kevin Humphreys, Jesse Kinkead, Ashish Sabharwal, Oyvind Tafjord Allen Institute for AI, 215 Add to Reading List Source URL: www.akbc.ws Language: English - Date: 2015-04-02 16:06:46 Reasoning Branches of philosophy Formal systems Programming paradigms Inference Logical consequence Logic programming Axiom Epistemology Logic Philosophy Science
754	A STUDY INTO THE EFFECT OF DIFFERENT FORMULATIONS OF THE METROPOLIS-HASTINGS ALGORITHM IN ESTIMATING MODEL PARAMETERS AND ERRORS Edmund Ryan, Mat Williams, Shaun Quegan Department of Applied Mathematics, University Add to Reading List Source URL: www.nceo.ac.uk Language: English* - Date: 2013-05-09 14:08:40 Mathematics Mathematical optimization Bayesian statistics Algorithm Mathematical logic Theoretical computer science Genetic algorithm Estimation theory Credible interval Statistics Statistical inference Applied mathematics
755	BRICS RS-05-8 P. D. Mosses: Exploiting Labels in Structural Operational Semantics BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-03-21 06:24:57 Programming language semantics Applied mathematics Symbol Denotational semantics State transition system Operational semantics Theoretical computer science Models of computation Logic in computer science
756	How to Efficiently Translate Extensions of Temporal Logics into Alternating Automata C´esar S´ anchez1,2 and Julian Samborski-Forlese1 1 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-06-27 10:56:07 Computer science Ω-automaton Deterministic finite automaton Nondeterministic finite automaton Linear temporal logic Finite-state machine Symbol Büchi automaton Automata theory Theoretical computer science Formal methods
757	T. Hirashima et al. (EdsProceedings of the 19th International Conference on Computers in Education. Chiang Mai, Thailand: Asia-Pacific Society for Computers in Education Algorithm Learning Environment for Link Add to Reading List Source URL: www.nectec.or.th Language: English - Date: 2011-11-11 02:49:08 Algorithm Mathematical logic Theoretical computer science Pointer Stack Linked list C Programming language Computing Software engineering Computer programming
758	PHILOSOPHYBOOK REVIEWOF THE SOCIAL SCIENCES / SeptemberBook Review Add to Reading List Source URL: users.uoa.gr Language: English - Date: 2004-06-11 01:44:12 Reasoning Epistemology Deduction Philosophy of science Realism Alan Musgrave Models of scientific inquiry Argument Scientific realism Science Philosophy Logic
759	Combinators for Bi-Directional Tree Transformations: A Linguistic Approach to the View Update Problem J. NATHAN FOSTER University of Pennsylvania MICHAEL B. GREENWALD Bell Labs, Lucent Technologies Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-01-16 16:08:21 Mathematics Combinatory logic Fixed-point combinator Recursion Camera lens Theoretical computer science Lambda calculus Applied mathematics
760	Errata This document contains errata for Modern Programming Languages: A Practical Introduction, 2nd ed. by Adam Brooks Webber, published in 2011 by Franklin, Beedle & Associates, Inc. These corrections represent all err Add to Reading List Source URL: www.webber-labs.com Language: English - Date: 2012-05-16 11:45:57 Denotational semantics Applied mathematics Theoretical computer science Logic in computer science Models of computation

UPDATE